many-sorted predicate calculus
多种类谓词演算
热门查询
- sportscaster n. 担任比赛实况转播或说明的广播员
- slitted vt. 撕裂；使有狭缝 n. 裂缝；投币口 vi. 纵裂
- Siegfried n. 齐格弗里德( 德国民间史诗《尼贝龙根之歌》中的英雄人物)
- oysterman 采捕牡蛎的人
- diversified adj. 多样化的；各种的 v. 使…多样化（diversify的过去分词）
- overfish vt. 对（鱼、渔场）捕捞过度
- Beal [人名] [英格兰人姓氏] 比尔诺曼底绰号，漂亮男子，来源于古法语，含义是“白皙的，可爱的”(fair,lovely); [人名] [英格兰人姓氏] 比尔住所名称，来源于古英语，含义是“蜜蜂+山”(bee+hill)，或“竞技场+隐匿处”(ring+nook,recess); [地名] [爱尔兰、美国、英国] 比尔
- composite n. 复合材料；合成物；菊科 adj. 复合的；合成的；菊科的 vt. 使合成；使混合
- Malagasy n. 马达加斯加人，马达加斯加语 adj. 马达加斯加的
- CDP abbr. cytidine 5-diphosphate 胞啶5-二磷酸
- magisterium n. 教权；（天主教的）教诲职责
- midsection n. 上腹部；中央部分；胴体
- birch n. 桦木；桦树；桦条 n. (Birch)人名；(英、西)伯奇；(瑞典)比尔克 vt. 用桦条鞭打
- ruptured adj. 破裂的 v. rupture（rupture的过去分词）
- screener n. 掩护队员；分级机，筛选器；筛分工；过滤网
- equanimity n. 平静；镇定
- hypermarket n. 大规模超级市场
- crampon n. 鞋底钉；攀登用鞋底钉；铁钩 n. (Crampon)人名；(法)克朗蓬
- potent adj. 有效的；强有力的，有权势的；有说服力的
- ADC abbr. 机载数字计算机（Airborne Digital Computer）；模拟数字转换器（Analog to Digital Converter）
考试词汇表
- spread information
- spread it on thick
- spread laying boat
- spread loss covers
- spread measurement
- spread myself thin
- spread of a matrix
- spread of bearings
- spread of concrete
- spread of the fork
- spread of the ways
- spread oil cooling
- spread one's wings
- spread peak region
- spread tandem axle
- spread the message
- spread-linked note
- spread-over system
- spreader bar crane
- spreading calender
